irreflexive and antisymmetric